Filippo De Luca (1949–2019)

Luca de Alfaro

An open system can be modeled as a two-player game between the system and its environment. At each round of the game, player 1 (the system) and player 2 (the environment) independently and simultaneously choose moves, and the two choices determine the next state of the game. Properties of open systems can be modeled as objectives of these two-player games. For the basic objective of reachabilit...

Florian Luca Instituto de Matemáticas

Let σk(n) be the sum of the kth powers of the divisors of n. Here, we prove that if (Fn)n≥1 is the Fibonacci sequence, then the only solutions of the equation σk(Fm) = Fn in positive integers k ≥ 2, m and n have k = 2 and m ∈ {1, 2, 3}. The proof uses linear forms in two and three logarithms, lattice basis reduction, and some elementary considerations.

ALESSANDRO DE LUCA and GIUSEPPE ORIOLO

We consider the problemof reconfiguringthe joints of a redundant robot driven only through end-effector velocity commands. Dependingon the chosen kinematic inversion scheme, this system behavior is subject to differential constraints that may be integrableor not. An analogy is established with non-holonomic systems, allowing the use of existing techniques to designcartesianinputs that bring the...

The Control of Synchronous Systems ? ; ? ? Luca de Alfaro ? ? ?

In the synchronous composition of processes, one process may prevent another process from proceeding unless compositions without a well-deened product behavior are ruled out. They can be ruled out semantically, by insisting on the existence of certain xed points, or syntactically, by equipping processes with types, which make the dependencies between input and output signals transparent. We cla...

Appl . Environ . Microbiol . Rousset and André Verméglio Gilles De Luca , Pascale de Philip , Zorah Dermoun